int n_stimuli = 100;

int32_t stim_mul_a[] = {
  1804289383,
  1681692777,
  1957747793,
  719885386,
  596516649,
  1025202362,
  783368690,
  2044897763,
  1365180540,
  304089172,
  35005211,
  294702567,
  336465782,
  278722862,
  2145174067,
  1101513929,
  1315634022,
  1369133069,
  1059961393,
  628175011,
  1131176229,
  859484421,
  608413784,
  1734575198,
  149798315,
  1129566413,
  412776091,
  1911759956,
  137806862,
  982906996,
  511702305,
  1937477084,
  572660336,
  805750846,
  1100661313,
  1141616124,
  939819582,
  1998898814,
  610515434,
  1374344043,
  1477171087,
  945117276,
  1780695788,
  491705403,
  752392754,
  2053999932,
  1411549676,
  943947739,
  855636226,
  1469348094,
  1036140795,
  2040651434,
  317097467,
  1376710097,
  1330573317,
  1687926652,
  959997301,
  402724286,
  1194953865,
  364228444,
  221558440,
  1063958031,
  2114738097,
  1469834481,
  1610120709,
  631704567,
  1255179497,
  327254586,
  269455306,
  352406219,
  160051528,
  112805732,
  378409503,
  1713258270,
  1409959708,
  1373226340,
  200747796,
  1117142618,
  150122846,
  990892921,
  1231192379,
  111537764,
  2147469841,
  1911165193,
  2142757034,
  1869470124,
  8936987,
  1275373743,
  350322227,
  1960709859,
  771151432,
  1244316437,
  1476153275,
  1139901474,
  653468858,
  1239036029,
  1605908235,
  76065818,
  1789366143,
  1875335928
  };

int32_t stim_mul_b[] = {
  846930886,
  1714636915,
  424238335,
  1649760492,
  1189641421,
  1350490027,
  1102520059,
  1967513926,
  1540383426,
  1303455736,
  521595368,
  1726956429,
  861021530,
  233665123,
  468703135,
  1801979802,
  635723058,
  1125898167,
  2089018456,
  1656478042,
  1653377373,
  1914544919,
  756898537,
  1973594324,
  2038664370,
  184803526,
  1424268980,
  749241873,
  42999170,
  135497281,
  2084420925,
  1827336327,
  1159126505,
  1632621729,
  1433925857,
  84353895,
  2001100545,
  1548233367,
  1585990364,
  760313750,
  356426808,
  1889947178,
  709393584,
  1918502651,
  1474612399,
  1264095060,
  1843993368,
  1984210012,
  1749698586,
  1956297539,
  463480570,
  1975960378,
  1892066601,
  927612902,
  603570492,
  660260756,
  485560280,
  593209441,
  894429689,
  1947346619,
  270744729,
  1633108117,
  2007905771,
  822890675,
  791698927,
  498777856,
  524872353,
  1572276965,
  1703964683,
  1600028624,
  2040332871,
  1120048829,
  515530019,
  1573363368,
  2077486715,
  1631518149,
  289700723,
  168002245,
  439493451,
  1760243555,
  1622597488,
  338888228,
  438792350,
  269441500,
  116087764,
  155324914,
  1982275856,
  387346491,
  841148365,
  1760281936,
  1186452551,
  971899228,
  213975407,
  1626276121,
  2130794395,
  1884661237,
  1350573793,
  1605894428,
  1987231011,
  1784639529
  };

int32_t stim_mul_exp[] = {
  -1364082006,
  1157693227,
  -2022600529,
  301212728,
  -1022439467,
  -1806403010,
  595854406,
  343537426,
  -2131896840,
  1986059616,
  1398104952,
  -682762949,
  -1963360900,
  1497422026,
  2144498349,
  167108586,
  -753850388,
  -1633672117,
  1956553944,
  152454222,
  -929556623,
  1082988147,
  1421551640,
  -1497149992,
  445146342,
  -1427251570,
  534449916,
  491348372,
  -1008392932,
  1891421556,
  559138269,
  910036740,
  -142819344,
  456738558,
  1986704161,
  -1486850972,
  1397589054,
  1790034002,
  -910071528,
  -608592462,
  -934231224,
  -896235752,
  -1761062336,
  2013362137,
  -1787215826,
  2121718704,
  -1953181152,
  1582710452,
  -157558220,
  1091122298,
  993572638,
  -993791868,
  191380531,
  190453958,
  1028720172,
  -1690339408,
  -458459720,
  -2093486850,
  1663656513,
  -667500492,
  -1203205528,
  616085179,
  617227387,
  -707238781,
  1790277547,
  1315129600,
  1059623049,
  -1419394590,
  322145710,
  -2135852560,
  -86099208,
  1751534804,
  2122825021,
  -1524633680,
  -14667148,
  -421479948,
  -418712068,
  -933908670,
  -38416246,
  117767883,
  -375591216,
  551018000,
  1792878206,
  -728120132,
  1496349384,
  -878432104,
  1690590384,
  -957779883,
  -365423657,
  1228559856,
  107023864,
  -593022836,
  45174037,
  -1344796334,
  -1586728290,
  412219553,
  -1394890069,
  1615785176,
  -1167629987,
  -1866329672
  };

int32_t stim_mulh_a[] = {
  2103318776,
  1939964443,
  1432114613,
  352118606,
  1909002904,
  1395235128,
  1351797369,
  1504569917,
  706043324,
  159259470,
  480298490,
  1096689772,
  601385644,
  1544617505,
  1012502954,
  2027907669,
  722308542,
  933110197,
  740759355,
  1789376348,
  1450573622,
  1034949299,
  1529195746,
  1335354340,
  889023311,
  1447267605,
  745425661,
  1308044878,
  1569229320,
  1590079444,
  1977648522,
  1402586708,
  1143408282,
  559412924,
  1473442062,
  238962600,
  1238433452,
  1431419379,
  1665947468,
  707900973,
  2113903881,
  1776808933,
  404158660,
  2058657199,
  1642548899,
  260152959,
  824272813,
  2025187190,
  1850952926,
  1704365084,
  638422090,
  1953443376,
  1069755936,
  349517445,
  1856669179,
  995706887,
  1065103348,
  387451659,
  1562402336,
  1295166342,
  1799878206,
  382697713,
  1070575321,
  296864819,
  697517721,
  1950955939,
  1797073940,
  1065311705,
  846811127,
  1307565984,
  324763920,
  231602422,
  780821396,
  711645630,
  917679292,
  1253207672,
  1414647625,
  1046741222,
  1896306640,
  1111783898,
  1197352298,
  1782280524,
  524688209,
  1566288819,
  2114937732,
  1927495994,
  882160379,
  1682085273,
  630668850,
  1858721860,
  105575579,
  2118421993,
  452867621,
  1857962504,
  213801961,
  648031326,
  1737518944,
  110613202,
  982936784,
  1486222842
  };

int32_t stim_mulh_b[] = {
  1597322404,
  2112255763,
  1067854538,
  1782436840,
  165344818,
  532670688,
  492067917,
  680466996,
  496987743,
  1359512183,
  1398295499,
  2086206725,
  1172755590,
  243268139,
  1272469786,
  968338082,
  1820388464,
  6939507,
  1285228804,
  502278611,
  1037127828,
  654887343,
  392035568,
  87755422,
  1494613810,
  1369321801,
  396473730,
  1346811305,
  705178736,
  434248626,
  1470503465,
  552473416,
  188213258,
  1884167637,
  201305624,
  776532036,
  1273911899,
  620145550,
  619290071,
  407487131,
  7684930,
  711845894,
  937370163,
  1973387981,
  1501252996,
  1472713773,
  1662739668,
  1967681095,
  437116466,
  1176911340,
  1943327684,
  1876855542,
  1237379107,
  588219756,
  1057418418,
  1823089412,
  625032172,
  1469262009,
  298625210,
  1057467587,
  1555319301,
  476667372,
  260401255,
  774044599,
  2001229904,
  1335939811,
  1756915667,
  719346228,
  1414829150,
  555996658,
  155789224,
  1389867269,
  619054081,
  195740084,
  2006811972,
  570073850,
  1635905385,
  337739299,
  1343606042,
  446340713,
  915256190,
  846942590,
  700108581,
  1371499336,
  726371155,
  292218004,
  11614769,
  1662981776,
  246247255,
  1548348142,
  964445884,
  1520223205,
  1017679567,
  201690613,
  822262754,
  1411154259,
  282828202,
  114723506,
  1676902021,
  950390868
  };

int32_t stim_mulh_exp[] = {
  782236038,
  954070378,
  356065595,
  146131304,
  73491534,
  173039933,
  154873383,
  238374381,
  81699080,
  50411370,
  156368877,
  532698253,
  164210418,
  87487563,
  299974208,
  457209586,
  306144854,
  1507654,
  221665310,
  209260142,
  350277468,
  157806835,
  139581766,
  27284162,
  309372907,
  461417968,
  68811162,
  410175330,
  257647398,
  160767187,
  677103876,
  180418572,
  50106225,
  245409954,
  69060403,
  43204546,
  367326454,
  206681051,
  240212475,
  67162452,
  3782381,
  294487491,
  88207020,
  945881328,
  574132766,
  89204601,
  319106295,
  927812081,
  188379083,
  467031866,
  288864439,
  853634212,
  308196443,
  47868365,
  457110858,
  422648778,
  155000914,
  132543035,
  108632428,
  318884017,
  651782684,
  42472852,
  64908330,
  53501364,
  325006740,
  606840408,
  735117904,
  178424631,
  278952779,
  169268417,
  11780001,
  74947398,
  112543504,
  32432744,
  428783192,
  166339083,
  538823583,
  82311603,
  593226649,
  115538578,
  255155400,
  351455361,
  85527710,
  500158424,
  357681364,
  131141634,
  2385603,
  651291840,
  36158709,
  670074610,
  23707266,
  749825097,
  107305619,
  87249464,
  40931950,
  212917142,
  114417485,
  2954605,
  383772114,
  328871565
  };

uint32_t stim_mulhu_a[] = {
  255789528,
  1242608872,
  1277849958,
  653448036,
  1023457753,
  1309383303,
  1329132133,
  501772890,
  150517567,
  1983690368,
  1034514500,
  1775473788,
  767066249,
  739273303,
  1415505363,
  552910253,
  1344247686,
  661761152,
  425245975,
  235649157,
  1679895436,
  430253414,
  677870460,
  496060028,
  1144278050,
  1192707556,
  816504794,
  655858699,
  559301039,
  1186090428,
  1473144500,
  1498617647,
  1387036159,
  1144522535,
  1328104339,
  1113502215,
  777720504,
  1722060049,
  328298285,
  136495343,
  402903177,
  1503885238,
  2416949,
  655495367,
  1407392292,
  389040743,
  1433102829,
  1402961682,
  1900553541,
  337453826,
  1780172261,
  1941690360,
  847228023,
  1866000081,
  1586903190,
  500618996,
  1184214677,
  1061730690,
  2016764524,
  1748349614,
  1411328205,
  2009726312,
  1877565100,
  1369602726,
  1665204916,
  564325578,
  1010528946,
  1708302647,
  1874799051,
  885799631,
  1281830857,
  1156541312,
  1243439214,
  1505193512,
  1788014412,
  241909610,
  1095966189,
  1748806355,
  1369356620,
  309198987,
  530498338,
  37487770,
  1232056856,
  1251300606,
  1025125849,
  126107205,
  1376035217,
  478034945,
  1353436873,
  1584710873,
  941804289,
  2045826607,
  1930772757,
  716334471,
  470591100,
  2039723618,
  1899058025,
  394633074,
  1675518157,
  1943003493
  };

uint32_t stim_mulhu_b[] = {
  1266235189,
  1137949908,
  777210498,
  1908518808,
  364686248,
  1129033333,
  1280321648,
  1781999754,
  212251746,
  364319529,
  484238046,
  624549797,
  1886086990,
  1750003033,
  78012497,
  1671294892,
  1795519125,
  474613996,
  1315209188,
  1448703729,
  1545032460,
  861543921,
  932026304,
  828388027,
  332266748,
  31308902,
  820697697,
  1583571043,
  1395132002,
  1974806403,
  1739000681,
  669908538,
  12895151,
  1812282134,
  1380171692,
  860516127,
  1543755629,
  1455590964,
  70636429,
  1472576335,
  1329202900,
  1219407971,
  12260289,
  561717988,
  1841585795,
  733053144,
  1887658390,
  672655340,
  400000569,
  1081174232,
  1450956042,
  410409117,
  1516266761,
  1175526309,
  2002495425,
  1989806367,
  2004504234,
  1186631626,
  1717226057,
  1276673168,
  2137390358,
  696947386,
  1265204346,
  1630634994,
  1707056552,
  1297893529,
  358532290,
  1857756970,
  1426819080,
  1314218593,
  1386418627,
  318561886,
  70788355,
  1112720090,
  1106059479,
  1051858969,
  104152274,
  826047641,
  970925433,
  887077888,
  873524566,
  1541027284,
  1745790417,
  959372260,
  2137100237,
  159473059,
  1282648518,
  471990783,
  1983228458,
  993967637,
  1826620483,
  2037770478,
  1647149314,
  1152645729,
  1025533459,
  1001089438,
  2077211388,
  983631233,
  1645933681,
  553160358
  };

uint32_t stim_mulhu_exp[] = {
  75411447,
  329228735,
  231237710,
  290367255,
  86901934,
  344202247,
  396211781,
  208187654,
  7438384,
  168266040,
  116636808,
  258179333,
  336848588,
  301220110,
  25710814,
  215153228,
  561965263,
  73127705,
  130219248,
  79485078,
  604310300,
  86306178,
  147100793,
  95677140,
  88523502,
  8694446,
  156020653,
  241817637,
  181677466,
  545358977,
  596465377,
  233747241,
  4164418,
  482936795,
  426781366,
  223095205,
  279538893,
  583616794,
  5399300,
  46798915,
  124690139,
  426976393,
  6899,
  85729066,
  603458297,
  66400398,
  629855454,
  219724529,
  177003093,
  84947417,
  601390306,
  185539812,
  299099760,
  510721511,
  739881391,
  231930721,
  552684844,
  293339419,
  806348536,
  519694537,
  702347442,
  326119712,
  553090014,
  519985829,
  661844146,
  170533199,
  84356231,
  738913926,
  622821752,
  271046148,
  413775950,
  85781789,
  20493989,
  389958513,
  460457589,
  59244873,
  26577005,
  336346534,
  309558391,
  63861623,
  107894495,
  13450550,
  500798470,
  279504594,
  510084604,
  4682387,
  410938992,
  52533132,
  624958081,
  366743496,
  400542981,
  970653505,
  740464549,
  192243575,
  112365679,
  475427548,
  918457507,
  90378666,
  642098432,
  250244631
  };

int32_t stim_mulhsu_a[] = {
  1635550270,
  712633417,
  1204275569,
  1336092622,
  1026413173,
  1404196431,
  452456682,
  1858504292,
  802205057,
  1388391521,
  1452888574,
  126401947,
  1210359231,
  40610537,
  19485054,
  1291554098,
  1905241081,
  371653516,
  1047372231,
  1372261796,
  333582338,
  1894519218,
  1931513970,
  1021784812,
  2032894977,
  1859031536,
  1543324176,
  395279207,
  358984857,
  1344593499,
  272020127,
  2033505236,
  345367818,
  991810563,
  1965421244,
  1319041805,
  845563291,
  937558955,
  524133589,
  1215828993,
  74552805,
  1747844822,
  765326717,
  76593093,
  431530126,
  1502781486,
  1909850543,
  733327814,
  1646478179,
  1500474762,
  1941727088,
  1615935710,
  1738110294,
  1269400346,
  217871137,
  524305153,
  1265122573,
  1910300925,
  120306710,
  1007277217,
  1260596963,
  1255387090,
  1751378130,
  1130698571,
  1566369633,
  567304789,
  1155722604,
  2000419805,
  441767868,
  861109485,
  1460082195,
  952062949,
  1510080967,
  460686763,
  554290596,
  34740865,
  1830539036,
  690367770,
  1131359211,
  537322532,
  157272379,
  1910858270,
  1140384172,
  2059344234,
  738647283,
  94307398,
  10901063,
  628966950,
  1761250573,
  1003886059,
  410134047,
  1982945082,
  181271232,
  1527622954,
  199411898,
  1862875640,
  1022089159,
  1669679262,
  1242561041,
  1597141723
  };

uint32_t stim_mulhsu_b[] = {
  2069110699,
  864101839,
  1190668363,
  410228794,
  773319847,
  1968217462,
  1302539390,
  235745791,
  427355115,
  1272796157,
  1280631491,
  1204462951,
  521035021,
  738393740,
  1983614030,
  1655035325,
  2004187516,
  962033002,
  1707746139,
  2073785404,
  628974580,
  786039021,
  1605539862,
  586235379,
  262692685,
  1338299904,
  1985433483,
  606199759,
  435889744,
  378469911,
  488663950,
  29777560,
  257675105,
  1392740049,
  216588711,
  151519934,
  1066077375,
  629593614,
  1959343768,
  409544918,
  927376882,
  1617876982,
  2143124030,
  1124311574,
  1421186593,
  703550253,
  1388803074,
  107734713,
  1725138377,
  1464415775,
  672032919,
  639806732,
  406011017,
  114760235,
  337745691,
  292423943,
  124666328,
  2030449291,
  1986894018,
  551836836,
  362575055,
  1022963858,
  1988714904,
  1250372661,
  483689685,
  1360613073,
  35756851,
  746349250,
  1122336503,
  659639006,
  1385414639,
  577721120,
  714880226,
  1630387677,
  1467963981,
  1814887560,
  1290127955,
  1434433518,
  1821066342,
  550245196,
  1104627321,
  1312994984,
  1763794427,
  1582152040,
  772970072,
  51245830,
  1046370347,
  1520982030,
  1089653714,
  168057522,
  1038626924,
  93189435,
  525829204,
  1312630443,
  2064945486,
  356684278,
  1626250262,
  14989683,
  1581539848,
  1981208324
  };

int32_t stim_mulhsu_exp[] = {
  787930228,
  143374280,
  333854188,
  127615329,
  184808317,
  643488936,
  137217028,
  102011152,
  79820499,
  411444202,
  433208155,
  35447641,
  146832211,
  6981791,
  8999096,
  497691253,
  889054590,
  83246954,
  416451572,
  662583970,
  48851317,
  346723485,
  722036387,
  139467047,
  124337766,
  579269073,
  713432089,
  55790450,
  36432830,
  118484762,
  30949346,
  14098553,
  20720225,
  321616952,
  99113223,
  46533794,
  209881899,
  137435535,
  239107264,
  115934895,
  16097572,
  658398006,
  381886511,
  20050094,
  142791501,
  246167717,
  617561467,
  18394752,
  661332787,
  511603176,
  303821759,
  240720469,
  164306705,
  33917995,
  17132851,
  35697449,
  36721626,
  903096319,
  55655064,
  129419535,
  106417809,
  299004749,
  810947220,
  329174702,
  176401071,
  179717855,
  9621726,
  347618903,
  115440274,
  132252789,
  470974307,
  128063110,
  251346971,
  174878635,
  189449319,
  14680149,
  549859735,
  230569082,
  479696360,
  68838508,
  40449054,
  584159820,
  468316312,
  758607797,
  132935178,
  1125238,
  2655794,
  222736836,
  446837681,
  39280998,
  99180327,
  43024665,
  22192883,
  466873029,
  95873768,
  154706289,
  387004754,
  5827276,
  457549421,
  736739131
  };

